<?php
  include($_SERVER['DOCUMENT_ROOT']."/BD.php");
  $prod = $_GET["producto"];
  $especificaciones = infoSubastaEspecificaciones($prod);
  echo "<p>" . $especificaciones . "</p>";
?>